proof that det(ab) = det(ba)